English Computing Dictionary
◊ VIENNA DEFINITION METHOD
Vienna Definition Method
(VDM) A program development method based on formal
specification using the {Meta-IV} language.